$\vdash$  $\forall$$A$:$\mathbb{P}$. ($\neg$$A$) $\in$ $\mathbb{P}$